1. Advances in Computer Communication and Computational Sciences :
Author: Sanjiv K. Bhatia, Shailesh Tiwari, Krishn K. Mishra, Munesh C. Trivedi, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Computer networks.,Computer science.
Classification :
TK5105
.
5
.
I57
2018
2. Advances in Petri nets, 1984
Author: edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Petri nets -- Congresses.,Pétri, Réseaux de -- Congrès.
Classification :
QA267
.
E358
1985
3. Advances in communication, cloud, and big data :
Author: Hiren Kumar Deva Sarma, Samarjeet Borah, Nitul Dutta, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data, Congresses.,Cloud computing, Congresses.,Computer networks, Congresses.,Big data.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK5105
.
5
4. Advances in computer science and information technology :
Author: edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
5. Advances in wireless sensor networks :
Author: Ruchuan Wang, Fu Xiao (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial Intelligence.,Context-aware computing -- Congresses.,Wireless sensor networks -- Congresses.
Classification :
TK7872
.
D48
R834
2013
6. Agreement technologies :
Author: Marin Lujak (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Agreement protocols (Computer network protocols), Congresses.,Multiagent systems, Congresses.,Agreement protocols (Computer network protocols),Multiagent systems.
Classification :
QA76
.
76
.
I58
7. Applied Probability-Computer Science:
Author: edited by Ralph L. Disney, Teunis J. Ott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing -- Congresses.,Science (General),Science.
8. Broadband communications, networks, and systems :
Author: Victor Sucasas, Georgios Mantas, Saud Althunibat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Broadband communication systems, Congresses.,Broadband communication systems.
Classification :
TK5103
.
4
9. Challenges in ad hoc networking :
Author: edited by K. Al Agha, I. Guérin Lassous, G. Pujolle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer networks.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Informatique.
Classification :
TK5105
.
5
.
M435
2005eb
10. Cognitive radio oriented wireless networks :
Author: Ingrid Moerman, Johann Marquez-Barja, Adnan Shahid, Wei Liu, Spilios Giannoulis, Xianjun Jiao (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognitive radio networks, Congresses.,Cognitive radio networks.
Classification :
TK5103
.
4815
11. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
12. Computer and communication engineering :
Author: Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
Classification :
TK7885
.
A1
13. Computer networks, big data and IoT :
Author: A. Pasumpon Pandian, Xavier Fernando, Syed Mohammed Shamsul Islam, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data, Congresses.,Internet of things, Congresses.,Big data.,Internet of things.
Classification :
TK5105
.
8857
.
I58
2020
14. Financial cryptography and data security :
Author: Radu Sion (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science) -- Congresses.,Electronic commerce -- Security measures -- Congresses.,Electronic funds transfers -- Security measures -- Congresses.
15. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
16. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
17. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
18. Foundations of security, protocols, and equational reasoning :
Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
Classification :
QA76
.
9
.
A25
19. Innovative security solutions for information technology and communications :
Author: Jean-Louis Lanet, Cristian Toma (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.
Classification :
QA76
.
9
.
A25
20. Integrated circuit and system design :
Author: Jorge Juan Chico, Enrico Macii, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.,Integrated circuits -- Very large scale integration -- Computer-aided design.
